#ifndef __LINUX_KERNEL_H__
#define __LINUX_KERNEL_H__

#include <stdarg.h>
#include "common/linkage.h"

asmlinkage int vprintk(const char* fmt, va_list args);
asmlinkage int printk(const char* fmt, ...)
    __attribute__ ((format (printf, 1, 2)));

#endif  // __LINUX_KERNEL_H__
